Reasoning about Protocols using Dijkstra’s Calculus

A mathematical model for the specification and verification of a data link layer protocol is proposed. The weakest precondition calculus, developed by Dijkstra, originally for sequential programs, has been chosen for this purpose. It is demonstrated that the wp-calculus provides a basis, not only for the modeling but also, for a straightforward and thorough analysis of large and complex distributed systems like data link layer protocol. This analysis contributes to the understanding of the system and could lead to an improvement in the design. The technique has been illustrated by describing the sliding window protocol.Facultad de Informátic

Burkitt's Lymphoma as Primary Adrenal Lymphoma Diagnosed on Fine Needle Aspiration Cytology : A Rare Case Report

Introduction :Primary adrenal lymphoma presenting as Burkitt’s lymphoma  is an extremely rare entity. Although biopsy or excision is often needed for definitive diagnosis computed tomography guided fine needle aspiration has great diagnostic value in detection of primary adrenal lymphoma.Presentation of case : A case  of a 20 yr old male with a right adrenal mass diagnosed as Burkitts lymphoma on Fine Needle Aspiration Cytology (confirmed by bone marrow and cytogenetics) has been reported.Conclusion : Fine Needle Aspiration Cytology  as an initial investigation tool can be very effective for detection of unusual presentation like an adrenal mass in a case of Burkitt's lymphom

Specifying mobile network using a wp-like formal approach

The paper aims at providing a formal system, motivated by Dijkstra’s weakest precondition logic, for specifying mobile network. The paper shows how mobility can be specified using a state and transition based approach, which allows mobile hosts to be treated as nodes in a traditional statically structured distributed system. Another goal is to reason formally about the possible behaviors of a system consisting of mobile components. The handover procedure serves as an illustration for the notation. The contribution of the paper is the development of a style of modeling and reasoning about the temporal properties that allows for a straightforward and thorough analysis of mobile systems.Keywords: weakest precondition, mobile computing, specification, verification, safety, handover

SPATIO-TEMPORAL VARIATION OF MERCURY IN BIDYADHARI RIVER OF SUNDARBAN DELTA, INDIA

Bidyadhari river originates in Nadia district of West Bengal, India and then flows through North 24 Parganas district and now serves as a sewage and excess rainwater outlet from the city of Kolkata and adjacent area, which ultimately empties at the Bay of Bengal through the Indian Sundarban delta. Four different stations situated around the course of the river at considerable distances have been selected from the outfall of sewage canals at Kulti-Ghushighata (S1), where metropolitan sewages discharged and mixed up into water of Bidyadhari river, which ultimately carried through this river via stations Malancha (S2), Kanmari (S3) to Dhamakhali (S4), just before the river confluences with the larger Raimangal river at northern Sundarban delta. This study was conducted to estimate total mercury (Hg) concentration in waters (during high tides and ebb tides) and sediments of Bidyadhari river in pre-monsoon, monsoon and post-monsoon seasons during the period from March, 2012 to February, 2013 at those stations. It is revealed from the estimated data that agricultural runoff, sewage, effluents from various industries and Kolkata metropolitan, Salt Lake City and adjacent areas of North 24 Parganas district carried and discharged in Bidyadhari river through sewage canals are not so high in mercury content for sediment contamination but alarming in respect of water quality, which crosses the permissible limit of Hg for consumption (0.001 ppm) in wide range of areas at Kanmari and Dhamakhali around the estuary. Enhancement of Hg level in this river water and transportation of the metal through tidal effects to and fro mangrove land of Sundarban may be dangerous for aquatic lives and supposed to be grave concern for the ecology of the Sundarban delta including human

Combined searches for the production of supersymmetric top quark partners in proton-proton collisions at root s=13 TeV

A combination of searches for top squark pair production using proton-proton collision data at a center-of-mass energy of 13 TeV at the CERN LHC, corresponding to an integrated luminosity of 137 fb(-1) collected by the CMS experiment, is presented. Signatures with at least 2 jets and large missing transverse momentum are categorized into events with 0, 1, or 2 leptons. New results for regions of parameter space where the kinematical properties of top squark pair production and top quark pair production are very similar are presented. Depending on themodel, the combined result excludes a top squarkmass up to 1325 GeV for amassless neutralino, and a neutralinomass up to 700 GeV for a top squarkmass of 1150 GeV. Top squarks with masses from 145 to 295 GeV, for neutralino masses from 0 to 100 GeV, with a mass difference between the top squark and the neutralino in a window of 30 GeV around the mass of the top quark, are excluded for the first time with CMS data. The results of theses searches are also interpreted in an alternative signal model of dark matter production via a spin-0 mediator in association with a top quark pair. Upper limits are set on the cross section for mediator particle masses of up to 420 GeV

Search for new particles in events with energetic jets and large missing transverse momentum in proton-proton collisions at root s=13 TeV

A search is presented for new particles produced at the LHC in proton-proton collisions at root s = 13 TeV, using events with energetic jets and large missing transverse momentum. The analysis is based on a data sample corresponding to an integrated luminosity of 101 fb(-1), collected in 2017-2018 with the CMS detector. Machine learning techniques are used to define separate categories for events with narrow jets from initial-state radiation and events with large-radius jets consistent with a hadronic decay of a W or Z boson. A statistical combination is made with an earlier search based on a data sample of 36 fb(-1), collected in 2016. No significant excess of events is observed with respect to the standard model background expectation determined from control samples in data. The results are interpreted in terms of limits on the branching fraction of an invisible decay of the Higgs boson, as well as constraints on simplified models of dark matter, on first-generation scalar leptoquarks decaying to quarks and neutrinos, and on models with large extra dimensions. Several of the new limits, specifically for spin-1 dark matter mediators, pseudoscalar mediators, colored mediators, and leptoquarks, are the most restrictive to date.Peer reviewe

Probing effective field theory operators in the associated production of top quarks with a Z boson in multilepton final states at root s=13 TeV

Peer reviewe

Measurements of Higgs boson production cross sections and couplings in the diphoton decay channel at root s=13 TeV

Measurements of Higgs boson production cross sections and couplings in events where the Higgs boson decays into a pair of photons are reported. Events are selected from a sample of proton-proton collisions at root s = 13TeV collected by the CMS detector at the LHC from 2016 to 2018, corresponding to an integrated luminosity of 137 fb(-1). Analysis categories enriched in Higgs boson events produced via gluon fusion, vector boson fusion, vector boson associated production, and production associated with top quarks are constructed. The total Higgs boson signal strength, relative to the standard model (SM) prediction, is measured to be 1.12 +/- 0.09. Other properties of the Higgs boson are measured, including SM signal strength modifiers, production cross sections, and its couplings to other particles. These include the most precise measurements of gluon fusion and vector boson fusion Higgs boson production in several different kinematic regions, the first measurement of Higgs boson production in association with a top quark pair in five regions of the Higgs boson transverse momentum, and an upper limit on the rate of Higgs boson production in association with a single top quark. All results are found to be in agreement with the SM expectations.Peer reviewe

Measurements of the Electroweak Diboson Production Cross Sections in Proton-Proton Collisions at root s=5.02 TeV Using Leptonic Decays

The first measurements of diboson production cross sections in proton-proton interactions at a center-of-mass energy of 5.02 TeV are reported. They are based on data collected with the CMS detector at the LHC, corresponding to an integrated luminosity of 302 pb(-1). Events with two, three, or four charged light leptons (electrons or muons) in the final state are analyzed. The WW, WZ, and ZZ total cross sections are measured as sigma(WW) = 37:0(-5.2)(+5.5) (stat)(-2.6)(+2.7) (syst) pb, sigma(WZ) = 6.4(-2.1)(+2.5) (stat)(-0.3)(+0.5)(syst) pb, and sigma(ZZ) = 5.3(-2.1)(+2.5)(stat)(-0.4)(+0.5) (syst) pb. All measurements are in good agreement with theoretical calculations at combined next-to-next-to-leading order quantum chromodynamics and next-to-leading order electroweak accuracy